$M$.X $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$x$:Id$\mid$ $x$ $\in$ dom(1of($M$)) \}